home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Celestin Apprentice 4
/
Apprentice-Release4.iso
/
Languages
/
Caml Light 0.7
/
examples
/
kb
/
loadall.ml
< prev
next >
Encoding:
Amiga
Atari
Commodore
DOS
FM Towns/JPY
Macintosh
Macintosh JP
Macintosh to JP
NeXTSTEP
RISC OS/Acorn
Shift JIS
UTF-8
Wrap
Text File
|
1995-06-01
|
107 b
|
7 lines
|
[
TEXT/MPS
]
load "prelude.ml";;
load "terms.ml";;
load "equation.ml";;
load "order.ml";;
load "kb.ml";;
load "go.ml";;